What does gender equality need? Revisiting the formal and informal in feminist legal politics

Islamic politics and women's quest for gender equality in Iran.

The unification of a strong and authoritarian state with religious laws and institutions after the 1979 revolution in Iran has resulted in the creation of a dualistic state structure in which non-elected and non-accountable state authorities and institutions-the majority of whom have not accepted either the primacy of democracy nor the premise of equality between men and women (or Muslims and n...

What Does Industry Need From Formal Specification Techniques?

In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role of formal specifications in development and consider what are the important questions that need to be asked. I illustrate these with some practical experience on industrial projects and conclude with some lessons we hav...

Religion, Politics and Gender Equality Public Religions Revisited

A Formal Calculus for Informal Equality with Binding

In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and cannot occur free. We describe a logical derivation system which allows a direct formalisation of such assertions, along with a direct formalisation of their constraints. We base our logic on equality, probably the simplest avail...

What Does Equality Mean?--The Basque View